Koha online catalog › Results of search for 'Provider:Springer-Verlag, and se:Texts in theoretical computer science'

	1.	Software engineering 1 : abstraction and modelling. by Bjorner, Dines \| Bjorner, Dines. Material type: Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer-Verlag, 2006Availability: Items available for loan: [Call number: 005.1 BJO] (1). Place hold
	2.	Elements of finite model theory by Libkin, Leonid. Material type: Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer-Verlag, 2004Availability: Items available for loan: [Call number: 511.3 LIB] (1). Place hold

Koha online